package com.starview.star.compiler.wff;

import com.starview.platform.data.type.Location;
import com.starview.star.compiler.ast.IAbstract;
import com.starview.star.compiler.util.PrettyPrintable;
import com.starview.star.compiler.wff.WffOp.applyMode;



public interface WffCond extends PrettyPrintable
{
  applyMode satisfied(IAbstract env[], Location loc, WffEngine engine);
}
